|
|
Compilation of C++ Applications for Embedded Devices
Nosterský, Milan ; Přikryl, Zdeněk (referee) ; Hruška, Tomáš (advisor)
This master's thesis deals with the integrations of C++ programming language and its standard C++11 into the compiler for embedded systems. This compiler is based on LLVM project and it is generated from Codasip Studio. Codasip Studio is tool for design of the aplication specific processor cores, it is also allows generate compiler, which is based on the description of semantics section in processor's instruction set for any target processor architecture. C++ is programming language based on the C, which is extended by object oriented design and many other features. C++ language allows writing of very effective code on high level of abstraction. Funcionality of implementation is tested on testsuite in last phase of master's thesis.
|
|
|
Debugging Class for php
Kluvánek, Jakub ; Krček, Petr (referee) ; Roupec, Jan (advisor)
The aim of this work is to create a tool that assists in developing and debugging PHP applications. It also provides an overview of how PHP handles errors and exceptions in a standard way. The result of this bachleor thesis is easy to use class that is easily extendable for additional functionality and contains all basic tools useful in development. This functions is nescessary because users should not view some detailed information about the error. Errors may contain sensitive information (especially passwords for the database, table structure,...). I am using this class in several projects and it seems to be very useful.
|
|
|
Programming with Design by Contract Approach on .NET Platform
Bohačiak, Ondrej ; Rychlý, Marek (referee) ; Bartík, Vladimír (advisor)
This paper aims to introduce programming using Design by Contract (DbC) approach, its principles and implementations in different environments. The motivation for the creation of this approach is discussed in the beginning and the DbC metaphor is explained, as well as its application to programming. The description of major elements of the contract in the context of routine interface follows afterwards. The subject matter of this paper is the analysis and comparison of individual programming systems for DbC development with the help of code samples. The benefits of using this approach and its role in the modern development process are evaluated in conclusion.
|
|
|
Statistiky managementu bobra evropského v ČR
Robotka, David
This bachelor thesis addresses the issue of the number of issued exemptions and the subsequent potential harvest of Eurasian beaver (Castor fiber) throughout the Czech Republic. The information obtained from the regional authorities of the Department of Environment and Landscape was used for the solution. The study showed that already in the first years after the adoption of the Beaver Management Programme, exemptions with hunting permits were issued, but their utilisation in the form of the number of individuals hunted was not high. However, due to the continued expansion of the species and the associated increased damage, this number has increased over time. The main finding is that since 2013, up to the time of data collection, a total of 72 hunting exemptions and 7 general measures have been issued. A total of 235 Eurasian beaver have been hunted, but most of them in the Pilsen region. Paradoxically, more individuals were shot in Zone B, where shooting is allowed only on issued exceptions, than in Zone C, where shooting is unrestricted throughout.
|
|
|
Compilation of C++ Applications for Embedded Devices
Nosterský, Milan ; Přikryl, Zdeněk (referee) ; Hruška, Tomáš (advisor)
This master's thesis deals with the integrations of C++ programming language and its standard C++11 into the compiler for embedded systems. This compiler is based on LLVM project and it is generated from Codasip Studio. Codasip Studio is tool for design of the aplication specific processor cores, it is also allows generate compiler, which is based on the description of semantics section in processor's instruction set for any target processor architecture. C++ is programming language based on the C, which is extended by object oriented design and many other features. C++ language allows writing of very effective code on high level of abstraction. Funcionality of implementation is tested on testsuite in last phase of master's thesis.
|
|
|
Exclusions from prohibition of quantitative restrictions
Matějka, David ; Kunertová, Tereza (advisor) ; Šmejkal, Václav (referee)
The subject developed in my thesis relates to the "Exclusions from prohibition of quantitative restrictions". The origin of these exclusions can be found in the internal market law and more precisely in the free movement of goods. The free movement of goods is one of the four fundamental freedoms on which is based the internal market of the European Union. The free movement of goods is ensured by removing fiscal and non-fiscal barriers that hinder trade between Member States and which are prohibited between Member States. The fiscal barriers involve the prohibition between Member States of customs duties, all charges having equivalent effect and other fiscal barriers such as internal taxations. The non fiscal barriers involve direct quantitative restrictions which are quotas and bans, as well as measures having equivalent effect to quantitative restrictions (MEE). These non fiscal barriers are prohibited but they can be justified in some cases. Direct quantitative restrictions almost disappeared while measures having equivalent effect to quantitative restrictions may exist in various forms and variations. Measures having equivalent effect on imports are prohibited by the article 34 of the Treaty on the Functioning of the EU. Moreover, measures having equivalent effect on exports are prohibited by...
|
|
|
Obligatiory confidentiality of medical workers - criminal aspects
Mišľan, Martin ; Sovová, Olga (advisor) ; Císařová, Dagmar (referee)
The aim of this work was to bring the issue of mandatory confidentiality of health workers and the exceptions to this concept in the context of criminal law. In the first part of the thesis is generally defined by the Institute of mandatory confidentiality in health care, sources of legal regulation of this institute and its development in the Czech legal order. The work also deals with medical records and privacy of sensitive data in connection with the obligation of confidentiality of medical professionals. The next section is defined by breaking the confidentiality required the consent of the patient and also cases where the patient's consent to obtain information about his state of health is not required. The work also deals with criminal liability for breach of confidentiality and lists the offenses that can be committed in violation of this obligation. In the conclusion the work presents a brief comparison of the regulation of the Slovak Republic and in the Federal Republic of Germany.
|
|
|
On the semantics of exceptions for high level and low level languages
Tejiščák, Matúš ; Swierstra, Wouter (advisor) ; Kučera, Petr (referee)
The thesis deals with correctness of a compiler of a simple language featuring exceptions. We present formal semantics, both denotational semantics of a~high-level language and operational semantics of a low-level language for a~simple stack machine. We study the method of stack unwinding and then iteratively, improving upon a naive solution, we present a different method that is structurally recursive and thus suitable for implementation in total dependently typed languages. Finally, we provide an implementation of the compiler in the dependently typed functional programming language Agda, along with a mechanically verifiable proof of adherence of the implementation to the semantics.
|
|
|
Potential conflicts of selected activities with the requirements of Water Framework Directive 2000/60 / EC
Kulštrunková, Zuzana ; Zdražil, Vladimír (advisor) ; Milan, Milan (referee)
Since the mid-20th century, water policy in European countries has gradually changed from the excessive use of natural resources to their protection. The last major change in water policy was putting most of directives into one - to the Water Framework Directive 2000/60 / EC, which introduced water planning and preparation of water programmes on a European scale. Despite its undeniable positives that brought into European water politics, there arise questions about its use in specific projects in practice, especially in hydroelectric power. In some cases, such as for instance case study of the Weser River in Germany shows that the interpretation of the Water Framework Directive is not entirely clear to everyone, so some cases due to ambiguities can get to the Court of Justice of the European Union.
|
|
|
Programming with Design by Contract Approach on .NET Platform
Bohačiak, Ondrej ; Rychlý, Marek (referee) ; Bartík, Vladimír (advisor)
This paper aims to introduce programming using Design by Contract (DbC) approach, its principles and implementations in different environments. The motivation for the creation of this approach is discussed in the beginning and the DbC metaphor is explained, as well as its application to programming. The description of major elements of the contract in the context of routine interface follows afterwards. The subject matter of this paper is the analysis and comparison of individual programming systems for DbC development with the help of code samples. The benefits of using this approach and its role in the modern development process are evaluated in conclusion.
|
guest ::
